@InProceedings{CassianoFoTikaAmbr:2013:VaSaSp,
               author = "Cassiano Filho, Antonio and Tikami, Auro and Ambrosio, Ana Maria",
          affiliation = "{} and {Instituto Nacional de Pesquisas Espaciais (INPE)} and 
                         {Instituto Nacional de Pesquisas Espaciais (INPE)}",
                title = "Validation of the Satellite Speed Measurement System with the Use 
                         of Finite State Machine for Test Case Generation",
            booktitle = "Proceedings...",
                 year = "2013",
                pages = "107--110",
         organization = "Latin-American Symposium on Dependable Computing, 6. 
                         (LADC'2013).",
                 note = "{Setores de Atividade: Telecomunica{\c{c}}{\~o}es.}",
             keywords = "Finite State Machine, Test Case Generation, JPlavisFSM platform, 
                         satellite, system under test, Modeling.",
             abstract = "The area of Model Based Software Testing is of interest to 
                         researchers, professional experts in testing and development as 
                         well as to the industrial sector. Several test methods are 
                         proposed in the literature for the validation of a computational 
                         system. This paper presents the experience of using finite-state 
                         machine (FSM) to model a system for automatically test generation 
                         applied to a software system of the space area. Starting from the 
                         functional requirement of the Satellite Speed Measurement (SSM) 
                         developed by National Institute for Space Research (INPE), the 
                         system behavior is modeled and the JPlavisFSM platform is used to 
                         automatically generate test-case sets. This platform provides 
                         different FSM based methods for system validation purposes. The 
                         test-case sets (each set is resulted from one method) are compared 
                         and evaluated according to the cost of generation and their size. 
                         The paper also discusses the efficiency of practical 
                         application.",
  conference-location = "Rio de Janeiro",
      conference-year = "2-5 abr. 2013",
                 isbn = "978-85-7669-274-4",
                label = "lattes: 4522542236886713 2 CassianoFoTikaAmbr:2013:VaSaSp",
             language = "en",
           targetfile = "0030.pdf",
                  url = "http://www.lbd.dcc.ufmg.br/colecoes/ladc/2013/0030.pdf",
        urlaccessdate = "28 abr. 2024"
}